[[Lie group]]
# Compact Lie group

A **compact Lie group** is a [[Lie group]] that is also [[Compact space|compact]]. #m/def/lie

## Properties

- [[Haar measure of a compact Lie group]]
- [[Representation of a compact Lie group]]

#
---
#state/develop | #lang/en | #SemBr